We would like to thank to our sponsors who substantially contribute to the success of the event.
Sessions of the main conferences from Monday to Thursday.
Thomas Henzinger: A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems (unifying talk)
TACAS: Model Checking I
TACAS: Machine Learning/Neural Networks
ESOP: Static Analysis
FoSSaCS: Programming Languages
TACAS: Automata
TACAS: SV-COMP
ESOP: Type Systems
FoSSaCS: Semantics
TACAS: Proofs
TACAS: SV-COMP
Invited tutorial
Mooly Sagiv: Scaling Formal Verification to Realistic Code with Applications to DeFi Verification (ESOP invited talk)
TACAS: Constraint Solving/Blockchain
ESOP: Semantics and Type Theory
FoSSaCS: Counters
Ask-Me-Anything
TACAS: Markov Chains/Stochastic Control
TACAS: Verification I
ESOP: Concurrency
FoSSaCS: Bisimulation
TACAS: Tool Demos
Invited Tutorial
Diversity and Inclusion Activities
Véronique Cortier: Electronic Voting: Design And Formal Verification (unifying talk)
TACAS: Combinatorial Optimization / Theorem Proving
TACAS: Tools (Regular Papers)
FASE: Requirements, Models and AI
FoSSaCS: Formal Languages
SPIN (co-located)
ETAPS General Assembly
TACAS: Synthesis I
ESOP: Probabilistic and Quantum Programming
FASE: Runtime Monitoring & Enforcement
FoSSaCS: Formal methods
SPIN (co-located)
SPIN (co-located)
TOOLympics
Sven Apel: Brains on Code: Towards a Neuroscientific Foundation of Program Comprehension (FASE invited talk)
TACAS: Verification II
TACAS: Graphs/Probabilistic Systems
FASE: Analysis & Verification
FoSSaCS: Verification
SPIN (co-located)
TACAS: Model Checking II
FASE: Testing
Awards
SPIN (co-located)
TACAS: Monitoring/Program Analysis
TACAS: Synthesis II
FASE: Test-Comp
From critically acclaimed researchers to the world's most outrageous scientists, ETAPS speakers will leave you speechless.
Welcome to the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.
